大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Advanced Research on Computer Education, Simulation and Modeling [electronic resource] : International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

0
索取号：
作者：Lin、 Song.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Networks [electronic resource] : 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Pervasive Computing [electronic resource] : 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings

0
索取号：
作者：Lyons、 Kent.、Hightower、 Jeffrey.、Huang、 Elaine M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Universal Access in Human-Computer Interaction. Design for All and eInclusion [electronic resource] : 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Universal Access in Human-Computer Interaction. Context Diversity [electronic resource] : 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Universal Access in Human-Computer Interaction. Users Diversity [electronic resource] : 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction. Users and Applications [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction. Towards Mobile and Intelligent Interaction Environments [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction. Interaction Techniques and Environments [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction. Design and Development Approaches [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Trust and Trustworthy Computing [electronic resource] : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings

0
索取号：
作者：McCune、 Jonathan M.、Balacheff、 Boris.、Perrig、 Adrian.、Sadeghi、 Ahmad-Reza.、Sasse、 Angela.、Beres、 Yolanta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Morphology and Its Applications to Image and Signal Processing [electronic resource] : 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings

0
索取号：
作者：Soille、 Pierre.、Pesaresi、 Martino.、Ouzounis、 Georgios K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Processing in Computer-Assisted Interventions [electronic resource] : Second International Conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings

0
索取号：
作者：Taylor、 Russell H.、Yang、 Guang-Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

0
索取号：
作者：France、 Robert B.、Kuester、 Jochen M.、Bordbar、 Behzad.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.